Плани на рік

Редакційна політика

TL;DR Редакційна політика не змінюється.

Вирішив на день народження Степана Бандери написати пост українською мовою. Як ви знаєте значна частина моєї текстуальної творчості генерується російською, не тому що я є зрусифікованим неосвіченим манкуртом, а тому, що виріс у містечку Кам'янці-Подільському, де інженерів з усього радянського союзу переводили після універсітетів на кам'янецький Електронмаш, і, очевидним чином, зазнав значного впливу дітей цієї рядянської інтелігенції, яка відкривала та підтримувала комп'ютерні клуби та була осередком початкової комп'ютеризації. Відголоски радянської культури ще досі лунають в цих уже українізованих російськомовних родинах.

З ішого боку, такі феномени як "Фофудья" та "Вечер з Яниной Соколовой" показують, що достукатися до серця можна тільки на мові глядача, случаха та читача. Тому залишатимуся у цьому контексті як Тарас Шевченко, та не кидатиму російську чи переходитиму на українську мову у постах, не тому шо я пратівна абізяна, а тому що поки бачу росіян, які усе розуміють, чи при наймі намагаються це зробити, думаю, що варто давати надію та зворотній зв'язок. Зрештою, після чергового падіння російської імперії доведеться наново будувати мости.

Разом з тим персонаж Максима у цьому журналі не змінюватиметься та залишиться дещо туповатим та пацаватим, тому що, по-перше, надію на просвітлення мають навіть туповаті та пацаваті, а, по-друге, нічого собі з того не роблю, що можу бути таким.

Заплановані подорожі

Дуже хотілося би у цьому році відвідати наступні конференції:

— Lean Forward 2019 в Амстердамі. Де я дізнаюся чим дихає Lean комюніті та розкажу там, як вбудовувати кубічну теорію в Lean 3.4.1. Там я планую побачити Джеремі Авігада, Руді Грінберга (який писав рев'ю на n2o), Кирила Коена. Організатор заходу — Роберт Люіс.

— Geometry in Modal Homotopy Type Theory, яка буде в CMU, в Пітсбурзі, де спікери Майкл Шульман, Еґберт Райке, Урс Шрайбер. Це передній край cohesivett, та її застосування до диференціальної геометрії. Організатор заходу — Фелікс Веллен, про дисертацію якого я писав на сторінках свого журналу.

— Types 2019 в Осло.

— International Conference on Homotopy Type Theory — Топовий HoTT івент в CMU в Пітсбурзі, з наступним лайнапом: Кокан, Бауер, Еводі, Гимбіно, Люмсдейн, Шульман.